/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / lib / tex / inputs / thp.sty

< prev

next >

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 20 0a 25 25 20 54 | 68 69 73 20 69 73 20 66 |%% .%% T|his is f|
|00000010| 69 6c 65 20 60 74 68 70 | 2e 73 74 79 27 20 67 65 |ile `thp|.sty' ge|
|00000020| 6e 65 72 61 74 65 64 0a | 25 25 20 6f 6e 20 3c 31 |nerated.|%% on <1|
|00000030| 39 39 31 2f 36 2f 32 31 | 3e 20 77 69 74 68 20 74 |991/6/21|> with t|
|00000040| 68 65 20 64 6f 63 73 74 | 72 69 70 20 75 74 69 6c |he docst|rip util|
|00000050| 69 74 79 20 28 76 31 2e | 31 6c 20 74 65 73 74 29 |ity (v1.|1l test)|
|00000060| 2e 20 0a 25 25 20 0a 25 | 25 20 54 68 65 20 6f 72 |. .%% .%|% The or|
|00000070| 69 67 69 6e 61 6c 20 73 | 6f 75 72 63 65 20 66 69 |iginal s|ource fi|
|00000080| 6c 65 20 77 61 73 20 60 | 74 68 70 2e 64 6f 63 27 |le was `|thp.doc'|
|00000090| 2e 0a 25 25 20 0a 25 25 | 20 0a 25 25 20 43 6f 70 |..%% .%%| .%% Cop|
|000000a0| 79 72 69 67 68 74 20 28 | 43 29 20 31 39 38 39 2c |yright (|C) 1989,|
|000000b0| 31 39 39 30 2c 31 39 39 | 31 20 62 79 20 46 72 61 |1990,199|1 by Fra|
|000000c0| 6e 6b 20 4d 69 74 74 65 | 6c 62 61 63 68 2e 20 41 |nk Mitte|lbach. A|
|000000d0| 6c 6c 20 72 69 67 68 74 | 73 20 72 65 73 65 72 76 |ll right|s reserv|
|000000e0| 65 64 2e 20 0a 25 25 20 | 0a 25 25 20 49 4d 50 4f |ed. .%% |.%% IMPO|
|000000f0| 52 54 41 4e 54 20 4e 4f | 54 49 43 45 3a 20 0a 25 |RTANT NO|TICE: .%|
|00000100| 25 20 0a 25 25 20 59 6f | 75 20 61 72 65 20 6e 6f |% .%% Yo|u are no|
|00000110| 74 20 61 6c 6c 6f 77 65 | 64 20 74 6f 20 63 68 61 |t allowe|d to cha|
|00000120| 6e 67 65 20 74 68 69 73 | 20 66 69 6c 65 2e 20 59 |nge this| file. Y|
|00000130| 6f 75 20 6d 61 79 20 68 | 6f 77 65 76 65 72 20 63 |ou may h|owever c|
|00000140| 6f 70 79 20 74 68 69 73 | 20 66 69 6c 65 20 0a 25 |opy this| file .%|
|00000150| 25 20 74 6f 20 61 20 66 | 69 6c 65 20 77 69 74 68 |% to a f|ile with|
|00000160| 20 61 20 64 69 66 66 65 | 72 65 6e 74 20 6e 61 6d | a diffe|rent nam|
|00000170| 65 20 61 6e 64 20 74 68 | 65 6e 20 63 68 61 6e 67 |e and th|en chang|
|00000180| 65 20 74 68 65 20 63 6f | 70 79 2e 20 0a 25 25 20 |e the co|py. .%% |
|00000190| 0a 25 25 20 59 6f 75 20 | 61 72 65 20 4e 4f 54 20 |.%% You |are NOT |
|000001a0| 41 4c 4c 4f 57 45 44 20 | 74 6f 20 64 69 73 74 72 |ALLOWED |to distr|
|000001b0| 69 62 75 74 65 20 74 68 | 69 73 20 66 69 6c 65 20 |ibute th|is file |
|000001c0| 61 6c 6f 6e 65 2e 20 59 | 6f 75 20 61 72 65 20 4e |alone. Y|ou are N|
|000001d0| 4f 54 20 41 4c 4c 4f 57 | 45 44 20 0a 25 25 20 74 |OT ALLOW|ED .%% t|
|000001e0| 6f 20 74 61 6b 65 20 6d | 6f 6e 65 79 20 66 6f 72 |o take m|oney for|
|000001f0| 20 74 68 65 20 64 69 73 | 74 72 69 62 75 74 69 6f | the dis|tributio|
|00000200| 6e 20 6f 72 20 75 73 65 | 20 6f 66 20 74 68 69 73 |n or use| of this|
|00000210| 20 66 69 6c 65 20 28 6f | 72 20 61 20 63 68 61 6e | file (o|r a chan|
|00000220| 67 65 64 20 0a 25 25 20 | 76 65 72 73 69 6f 6e 29 |ged .%% |version)|
|00000230| 20 65 78 63 65 70 74 20 | 66 6f 72 20 61 20 6e 6f | except |for a no|
|00000240| 6d 69 6e 61 6c 20 63 68 | 61 72 67 65 20 66 6f 72 |minal ch|arge for|
|00000250| 20 63 6f 70 79 69 6e 67 | 20 65 74 63 2e 20 0a 25 | copying| etc. .%|
|00000260| 25 20 0a 25 25 20 59 6f | 75 20 61 72 65 20 61 6c |% .%% Yo|u are al|
|00000270| 6c 6f 77 65 64 20 74 6f | 20 64 69 73 74 72 69 62 |lowed to| distrib|
|00000280| 75 74 65 20 74 68 69 73 | 20 66 69 6c 65 20 75 6e |ute this| file un|
|00000290| 64 65 72 20 74 68 65 20 | 63 6f 6e 64 69 74 69 6f |der the |conditio|
|000002a0| 6e 20 74 68 61 74 20 69 | 74 20 69 73 20 0a 25 25 |n that i|t is .%%|
|000002b0| 20 64 69 73 74 72 69 62 | 75 74 65 64 20 74 6f 67 | distrib|uted tog|
|000002c0| 65 74 68 65 72 20 77 69 | 74 68 20 61 6c 6c 20 66 |ether wi|th all f|
|000002d0| 69 6c 65 73 20 6d 65 6e | 74 69 6f 6e 65 64 20 69 |iles men|tioned i|
|000002e0| 6e 20 72 65 61 64 6d 65 | 2e 6d 7a 32 2e 20 0a 25 |n readme|.mz2. .%|
|000002f0| 25 20 0a 25 25 20 49 66 | 20 79 6f 75 20 72 65 63 |% .%% If| you rec|
|00000300| 65 69 76 65 20 6f 6e 6c | 79 20 73 6f 6d 65 20 6f |eive onl|y some o|
|00000310| 66 20 74 68 65 73 65 20 | 66 69 6c 65 73 20 66 72 |f these |files fr|
|00000320| 6f 6d 20 73 6f 6d 65 6f | 6e 65 2c 20 63 6f 6d 70 |om someo|ne, comp|
|00000330| 6c 61 69 6e 21 20 0a 25 | 25 20 0a 25 25 20 48 6f |lain! .%|% .%% Ho|
|00000340| 77 65 76 65 72 2c 20 69 | 66 20 74 68 65 73 65 20 |wever, i|f these |
|00000350| 66 69 6c 65 73 20 61 72 | 65 20 64 69 73 74 72 69 |files ar|e distri|
|00000360| 62 75 74 65 64 20 62 79 | 20 65 73 74 61 62 6c 69 |buted by| establi|
|00000370| 73 68 65 64 20 73 75 70 | 70 6c 69 65 72 73 20 61 |shed sup|pliers a|
|00000380| 73 20 70 61 72 74 20 0a | 25 25 20 6f 66 20 61 20 |s part .|%% of a |
|00000390| 63 6f 6d 70 6c 65 74 65 | 20 54 65 58 20 64 69 73 |complete| TeX dis|
|000003a0| 74 72 69 62 75 74 69 6f | 6e 2c 20 61 6e 64 20 74 |tributio|n, and t|
|000003b0| 68 65 20 73 74 72 75 63 | 74 75 72 65 20 6f 66 20 |he struc|ture of |
|000003c0| 74 68 65 20 64 69 73 74 | 72 69 62 75 74 69 6f 6e |the dist|ribution|
|000003d0| 20 0a 25 25 20 77 6f 75 | 6c 64 20 6d 61 6b 65 20 | .%% wou|ld make |
|000003e0| 69 74 20 64 69 66 66 69 | 63 75 6c 74 20 74 6f 20 |it diffi|cult to |
|000003f0| 64 69 73 74 72 69 62 75 | 74 65 20 74 68 65 20 77 |distribu|te the w|
|00000400| 68 6f 6c 65 20 73 65 74 | 20 6f 66 20 66 69 6c 65 |hole set| of file|
|00000410| 73 2c 20 2a 74 68 6f 73 | 65 20 0a 25 25 20 70 61 |s, *thos|e .%% pa|
|00000420| 72 74 69 65 73 2a 20 61 | 72 65 20 61 6c 6c 6f 77 |rties* a|re allow|
|00000430| 65 64 20 74 6f 20 64 69 | 73 74 72 69 62 75 74 65 |ed to di|stribute|
|00000440| 20 6f 6e 6c 79 20 73 6f | 6d 65 20 6f 66 20 74 68 | only so|me of th|
|00000450| 65 20 66 69 6c 65 73 20 | 70 72 6f 76 69 64 65 64 |e files |provided|
|00000460| 20 74 68 61 74 20 0a 25 | 25 20 69 74 20 69 73 20 | that .%|% it is |
|00000470| 6d 61 64 65 20 63 6c 65 | 61 72 20 74 68 61 74 20 |made cle|ar that |
|00000480| 74 68 65 20 75 73 65 72 | 20 77 69 6c 6c 20 67 65 |the user| will ge|
|00000490| 74 20 61 20 63 6f 6d 70 | 6c 65 74 65 20 64 69 73 |t a comp|lete dis|
|000004a0| 74 72 69 62 75 74 69 6f | 6e 2d 73 65 74 20 75 70 |tributio|n-set up|
|000004b0| 6f 6e 20 0a 25 25 20 72 | 65 71 75 65 73 74 20 74 |on .%% r|equest t|
|000004c0| 6f 20 74 68 61 74 20 73 | 75 70 70 6c 69 65 72 20 |o that s|upplier |
|000004d0| 28 6e 6f 74 20 6d 65 29 | 2e 20 0a 25 25 20 4e 6f |(not me)|. .%% No|
|000004e0| 74 69 63 65 20 74 68 61 | 74 20 74 68 69 73 20 70 |tice tha|t this p|
|000004f0| 65 72 6d 69 73 73 69 6f | 6e 20 69 73 20 6e 6f 74 |ermissio|n is not|
|00000500| 20 67 72 61 6e 74 65 64 | 20 74 6f 20 74 68 65 20 | granted| to the |
|00000510| 65 6e 64 20 75 73 65 72 | 2e 20 0a 25 25 20 0a 25 |end user|. .%% .%|
|00000520| 25 20 45 72 72 6f 72 20 | 52 65 70 6f 72 74 73 20 |% Error |Reports |
|00000530| 69 6e 20 63 61 73 65 20 | 6f 66 20 55 4e 43 48 41 |in case |of UNCHA|
|00000540| 4e 47 45 44 20 76 65 72 | 73 69 6f 6e 73 20 74 6f |NGED ver|sions to|
|00000550| 20 0a 25 25 20 0a 25 25 | 20 46 2e 20 4d 69 74 74 | .%% .%%| F. Mitt|
|00000560| 65 6c 62 61 63 68 20 0a | 25 25 20 45 69 63 68 65 |elbach .|%% Eiche|
|00000570| 6e 77 65 67 20 32 39 20 | 0a 25 25 20 44 2d 36 35 |nweg 29 |.%% D-65|
|00000580| 30 30 20 4d 61 69 6e 7a | 20 31 20 0a 25 25 20 46 |00 Mainz| 1 .%% F|
|00000590| 65 64 65 72 61 6c 20 52 | 65 70 75 62 6c 69 63 20 |ederal R|epublic |
|000005a0| 6f 66 20 47 65 72 6d 61 | 6e 79 20 0a 25 25 20 42 |of Germa|ny .%% B|
|000005b0| 69 74 6e 65 74 3a 20 3c | 50 5a 46 35 48 5a 40 52 |itnet: <|PZF5HZ@R|
|000005c0| 55 49 50 43 31 45 3e 20 | 0a 25 25 20 0a 0a 5c 64 |UIPC1E> |.%% ..\d|
|000005d0| 65 66 5c 66 69 6c 65 76 | 65 72 73 69 6f 6e 7b 76 |ef\filev|ersion{v|
|000005e0| 32 2e 31 62 7d 0a 5c 64 | 65 66 5c 66 69 6c 65 64 |2.1b}.\d|ef\filed|
|000005f0| 61 74 65 7b 38 39 2f 31 | 30 2f 32 38 7d 0a 5c 64 |ate{89/1|0/28}.\d|
|00000600| 65 66 5c 64 6f 63 64 61 | 74 65 20 7b 38 39 2f 30 |ef\docda|te {89/0|
|00000610| 39 2f 31 39 7d 0a 0a 25 | 25 20 5c 43 68 61 72 61 |9/19}..%|% \Chara|
|00000620| 63 74 65 72 54 61 62 6c | 65 0a 25 25 20 20 7b 55 |cterTabl|e.%%  {U|
|00000630| 70 70 65 72 2d 63 61 73 | 65 20 20 20 20 5c 41 5c |pper-cas|e    \A\|
|00000640| 42 5c 43 5c 44 5c 45 5c | 46 5c 47 5c 48 5c 49 5c |B\C\D\E\|F\G\H\I\|
|00000650| 4a 5c 4b 5c 4c 5c 4d 5c | 4e 5c 4f 5c 50 5c 51 5c |J\K\L\M\|N\O\P\Q\|
|00000660| 52 5c 53 5c 54 5c 55 5c | 56 5c 57 5c 58 5c 59 5c |R\S\T\U\|V\W\X\Y\|
|00000670| 5a 0a 25 25 20 20 20 4c | 6f 77 65 72 2d 63 61 73 |Z.%%   L|ower-cas|
|00000680| 65 20 20 20 20 5c 61 5c | 62 5c 63 5c 64 5c 65 5c |e    \a\|b\c\d\e\|
|00000690| 66 5c 67 5c 68 5c 69 5c | 6a 5c 6b 5c 6c 5c 6d 5c |f\g\h\i\|j\k\l\m\|
|000006a0| 6e 5c 6f 5c 70 5c 71 5c | 72 5c 73 5c 74 5c 75 5c |n\o\p\q\|r\s\t\u\|
|000006b0| 76 5c 77 5c 78 5c 79 5c | 7a 0a 25 25 20 20 20 44 |v\w\x\y\|z.%%   D|
|000006c0| 69 67 69 74 73 20 20 20 | 20 20 20 20 20 5c 30 5c |igits   |     \0\|
|000006d0| 31 5c 32 5c 33 5c 34 5c | 35 5c 36 5c 37 5c 38 5c |1\2\3\4\|5\6\7\8\|
|000006e0| 39 0a 25 25 20 20 20 45 | 78 63 6c 61 6d 61 74 69 |9.%%   E|xclamati|
|000006f0| 6f 6e 20 20 20 5c 21 20 | 20 20 20 20 44 6f 75 62 |on   \! |    Doub|
|00000700| 6c 65 20 71 75 6f 74 65 | 20 20 5c 22 20 20 20 20 |le quote|  \"    |
|00000710| 20 48 61 73 68 20 28 6e | 75 6d 62 65 72 29 20 5c | Hash (n|umber) \|
|00000720| 23 0a 25 25 20 20 20 44 | 6f 6c 6c 61 72 20 20 20 |#.%%   D|ollar   |
|00000730| 20 20 20 20 20 5c 24 20 | 20 20 20 20 50 65 72 63 |     \$ |    Perc|
|00000740| 65 6e 74 20 20 20 20 20 | 20 20 5c 25 20 20 20 20 |ent     |  \%    |
|00000750| 20 41 6d 70 65 72 73 61 | 6e 64 20 20 20 20 20 5c | Ampersa|nd     \|
|00000760| 26 0a 25 25 20 20 20 41 | 63 75 74 65 20 61 63 63 |&.%%   A|cute acc|
|00000770| 65 6e 74 20 20 5c 27 20 | 20 20 20 20 4c 65 66 74 |ent  \' |    Left|
|00000780| 20 70 61 72 65 6e 20 20 | 20 20 5c 28 20 20 20 20 | paren  |  \(    |
|00000790| 20 52 69 67 68 74 20 70 | 61 72 65 6e 20 20 20 5c | Right p|aren   \|
|000007a0| 29 0a 25 25 20 20 20 41 | 73 74 65 72 69 73 6b 20 |).%%   A|sterisk |
|000007b0| 20 20 20 20 20 5c 2a 20 | 20 20 20 20 50 6c 75 73 |     \* |    Plus|
|000007c0| 20 20 20 20 20 20 20 20 | 20 20 5c 2b 20 20 20 20 |        |  \+    |
|000007d0| 20 43 6f 6d 6d 61 20 20 | 20 20 20 20 20 20 20 5c | Comma  |       \|
|000007e0| 2c 0a 25 25 20 20 20 4d | 69 6e 75 73 20 20 20 20 |,.%%   M|inus    |
|000007f0| 20 20 20 20 20 5c 2d 20 | 20 20 20 20 50 6f 69 6e |     \- |    Poin|
|00000800| 74 20 20 20 20 20 20 20 | 20 20 5c 2e 20 20 20 20 |t       |  \.    |
|00000810| 20 53 6f 6c 69 64 75 73 | 20 20 20 20 20 20 20 5c | Solidus|       \|
|00000820| 2f 0a 25 25 20 20 20 43 | 6f 6c 6f 6e 20 20 20 20 |/.%%   C|olon    |
|00000830| 20 20 20 20 20 5c 3a 20 | 20 20 20 20 53 65 6d 69 |     \: |    Semi|
|00000840| 63 6f 6c 6f 6e 20 20 20 | 20 20 5c 3b 20 20 20 20 |colon   |  \;    |
|00000850| 20 4c 65 73 73 20 74 68 | 61 6e 20 20 20 20 20 5c | Less th|an     \|
|00000860| 3c 0a 25 25 20 20 20 45 | 71 75 61 6c 73 20 20 20 |<.%%   E|quals   |
|00000870| 20 20 20 20 20 5c 3d 20 | 20 20 20 20 47 72 65 61 |     \= |    Grea|
|00000880| 74 65 72 20 74 68 61 6e | 20 20 5c 3e 20 20 20 20 |ter than|  \>    |
|00000890| 20 51 75 65 73 74 69 6f | 6e 20 6d 61 72 6b 20 5c | Questio|n mark \|
|000008a0| 3f 0a 25 25 20 20 20 43 | 6f 6d 6d 65 72 63 69 61 |?.%%   C|ommercia|
|000008b0| 6c 20 61 74 20 5c 40 20 | 20 20 20 20 4c 65 66 74 |l at \@ |    Left|
|000008c0| 20 62 72 61 63 6b 65 74 | 20 20 5c 5b 20 20 20 20 | bracket|  \[    |
|000008d0| 20 42 61 63 6b 73 6c 61 | 73 68 20 20 20 20 20 5c | Backsla|sh     \|
|000008e0| 5c 0a 25 25 20 20 20 52 | 69 67 68 74 20 62 72 61 |\.%%   R|ight bra|
|000008f0| 63 6b 65 74 20 5c 5d 20 | 20 20 20 20 43 69 72 63 |cket \] |    Circ|
|00000900| 75 6d 66 6c 65 78 20 20 | 20 20 5c 5e 20 20 20 20 |umflex  |  \^    |
|00000910| 20 55 6e 64 65 72 73 63 | 6f 72 65 20 20 20 20 5c | Undersc|ore    \|
|00000920| 5f 0a 25 25 20 20 20 47 | 72 61 76 65 20 61 63 63 |_.%%   G|rave acc|
|00000930| 65 6e 74 20 20 5c 60 20 | 20 20 20 20 4c 65 66 74 |ent  \` |    Left|
|00000940| 20 62 72 61 63 65 20 20 | 20 20 5c 7b 20 20 20 20 | brace  |  \{    |
|00000950| 20 56 65 72 74 69 63 61 | 6c 20 62 61 72 20 20 5c | Vertica|l bar  \|
|00000960| 7c 0a 25 25 20 20 20 52 | 69 67 68 74 20 62 72 61 ||.%%   R|ight bra|
|00000970| 63 65 20 20 20 5c 7d 20 | 20 20 20 20 54 69 6c 64 |ce   \} |    Tild|
|00000980| 65 20 20 20 20 20 20 20 | 20 20 5c 7e 7d 0a 25 25 |e       |  \~}.%%|
|00000990| 0a 0a 5c 62 65 67 69 6e | 67 72 6f 75 70 20 5c 6d |..\begin|group \m|
|000009a0| 61 6b 65 61 74 6c 65 74 | 74 65 72 0a 5c 40 69 66 |akeatlet|ter.\@if|
|000009b0| 75 6e 64 65 66 69 6e 65 | 64 7b 74 68 65 6f 72 65 |undefine|d{theore|
|000009c0| 6d 40 73 74 79 6c 65 7d | 7b 5c 69 6e 70 75 74 7b |m@style}|{\input{|
|000009d0| 74 68 65 6f 72 65 6d 2e | 73 74 79 7d 7d 7b 7d 0a |theorem.|sty}}{}.|
|000009e0| 5c 74 79 70 65 6f 75 74 | 7b 53 74 79 6c 65 20 6f |\typeout|{Style o|
|000009f0| 70 74 69 6f 6e 3a 20 60 | 74 68 65 6f 72 65 6d 2d |ption: `|theorem-|
|00000a00| 70 6c 61 69 6e 27 20 5c | 66 69 6c 65 76 65 72 73 |plain' \|filevers|
|00000a10| 69 6f 6e 20 5c 73 70 61 | 63 65 5c 73 70 61 63 65 |ion \spa|ce\space|
|00000a20| 0a 20 20 20 20 20 20 20 | 20 20 3c 5c 66 69 6c 65 |.       |  <\file|
|00000a30| 64 61 74 65 3e 20 20 28 | 46 4d 69 29 7d 0a 5c 74 |date>  (|FMi)}.\t|
|00000a40| 79 70 65 6f 75 74 7b 45 | 6e 67 6c 69 73 68 20 64 |ypeout{E|nglish d|
|00000a50| 6f 63 75 6d 65 6e 74 61 | 74 69 6f 6e 20 5c 40 73 |ocumenta|tion \@s|
|00000a60| 70 61 63 65 73 5c 40 73 | 70 61 63 65 73 5c 40 73 |paces\@s|paces\@s|
|00000a70| 70 61 63 65 73 5c 73 70 | 61 63 65 5c 73 70 61 63 |paces\sp|ace\spac|
|00000a80| 65 0a 20 20 20 20 20 20 | 20 20 20 5c 73 70 61 63 |e.      |   \spac|
|00000a90| 65 20 3c 5c 64 6f 63 64 | 61 74 65 3e 20 20 28 46 |e <\docd|ate>  (F|
|00000aa0| 4d 69 29 7d 0a 5c 67 64 | 65 66 5c 74 68 40 70 6c |Mi)}.\gd|ef\th@pl|
|00000ab0| 61 69 6e 7b 5c 69 74 0a | 20 20 5c 64 65 66 5c 40 |ain{\it.|  \def\@|
|00000ac0| 62 65 67 69 6e 74 68 65 | 6f 72 65 6d 23 23 31 23 |beginthe|orem##1#|
|00000ad0| 23 32 7b 25 0a 20 20 20 | 20 20 20 20 20 5c 69 74 |#2{%.   |     \it|
|00000ae0| 65 6d 5b 5c 68 73 6b 69 | 70 5c 6c 61 62 65 6c 73 |em[\hski|p\labels|
|00000af0| 65 70 20 5c 74 68 65 6f | 72 65 6d 40 68 65 61 64 |ep \theo|rem@head|
|00000b00| 65 72 66 6f 6e 74 20 23 | 23 31 5c 20 23 23 32 5d |erfont #|#1\ ##2]|
|00000b10| 7d 25 0a 5c 64 65 66 5c | 40 6f 70 61 72 67 62 65 |}%.\def\|@opargbe|
|00000b20| 67 69 6e 74 68 65 6f 72 | 65 6d 23 23 31 23 23 32 |gintheor|em##1##2|
|00000b30| 23 23 33 7b 25 0a 20 20 | 20 5c 69 74 65 6d 5b 5c |##3{%.  | \item[\|
|00000b40| 68 73 6b 69 70 5c 6c 61 | 62 65 6c 73 65 70 20 5c |hskip\la|belsep \|
|00000b50| 74 68 65 6f 72 65 6d 40 | 68 65 61 64 65 72 66 6f |theorem@|headerfo|
|00000b60| 6e 74 20 23 23 31 5c 20 | 23 23 32 5c 20 28 23 23 |nt ##1\ |##2\ (##|
|00000b70| 33 29 5d 7d 7d 0a 5c 65 | 6e 64 67 72 6f 75 70 0a |3)]}}.\e|ndgroup.|
|00000b80| 0a 5c 65 6e 64 69 6e 70 | 75 74 0a 25 25 20 0a 25 |.\endinp|ut.%% .%|
|00000b90| 25 20 45 6e 64 20 6f 66 | 20 66 69 6c 65 20 60 74 |% End of| file `t|
|00000ba0| 68 70 2e 73 74 79 27 2e | 0a                      |hp.sty'.|.       |
+--------+-------------------------+-------------------------+--------+--------+